Pierce - PDFSEARCH.IO - Document Search Engine

Pierce
Results: 3605

#	Item
721	Edit Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-11-12 16:54:07 Monoid Differential equation Camera lens Mathematical analysis Differentiation rules Integral calculus Mathematics Semigroup theory Category theory
722	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-07-16 15:34:12 Category theory Group action Group theory Symmetry Camera lens Heap Functor Combinatory logic Surjective function Mathematics Abstract algebra Mathematical analysis
723	Linguistic Foundations for Bidirectional Transformations Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-05-22 01:05:29 Federated database system Data model Database management systems Database Database theory
724	From Zero to Over 2,500 Eportfolios in Six Years: The Eastern Kentucky University Experience Steve M. Hyndman Neal D. Gray Marcia Pierce June Hyndman Add to Reading List Source URL: www.usca.edu Language: English - Date: 2006-09-11 09:24:13 Evaluation methods Educational software Electronic portfolio Career portfolio Diploma in Digital Applications Eastern Kentucky University Alternative assessment Education Kentucky Educational technology
725	Healthcare Fraud and Abuse 1 Healthcare Fraud and Abuse by William J. Rudman, PhD; John S. Eberhardt III; William Pierce, RHIA; Add to Reading List Source URL: www.decisionq.com Language: English - Date: 2014-10-14 15:12:44 Law Health Crimes Deception Healthcare reform in the United States Medicare fraud Health care fraud Medicare Health Insurance Portability and Accountability Act Fraud Healthcare in the United States Ethics
726	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science
727	Deep-Sea Research II[removed]}810 A separating coastal upwelling jet at Cape Blanco, Oregon and its connection to the California Current System John A. Barth, Stephen D. Pierce, Robert L. Smith Add to Reading List Source URL: damp.coas.oregonstate.edu Language: English* Physical oceanography Water Earth Upwelling California Current Sea surface temperature Boundary current Acoustic Doppler Current Profiler Ocean currents Oceanography Aquatic ecology
728	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
729	pss newsletter 2012 Summer_pss newsletter 2011 Fall.qxd Add to Reading List Source URL: www.uphs.upenn.edu Language: English - Date: 2012-07-26 11:17:43 Cardiac surgeons William S. Pierce Surgeon Vascular surgery Specialty American College of Surgeons Peter H. Lin Randolph Chitwood Medicine Surgery Year of birth missing
730	Cloud Computing and QuakeSim Geoffrey Fox, Marlon Pierce, Gregor von Laszewski Indiana University We will review the current status of cloud computing and the different opportunities they offer to Quakesim. We describe i Add to Reading List Source URL: sceccore.usc.edu Language: English - Date: 2012-09-05 13:19:28 Software Eucalyptus Cloud computing OpenStack Free software Cloud infrastructure Computing

UPDATE